4

[Lecture Notes in Computer Science] CONCUR 2003 - Concurrency Theory Volume 2761 ||

Year:
2003
Language:
english
File:
PDF, 4.33 MB
english, 2003
7

Fast Hensel's lifting implementation using partial fraction decomposition

Year:
1985
Language:
english
File:
PDF, 515 KB
english, 1985
14

Weighted and extended total variation for image restoration and decomposition

Year:
2010
Language:
english
File:
PDF, 1.07 MB
english, 2010
15

Complexity of modal logics with Presburger constraints

Year:
2010
Language:
english
File:
PDF, 403 KB
english, 2010
16

Multitree automata that count

Year:
2005
Language:
english
File:
PDF, 429 KB
english, 2005
18

The regular viewpoint on PA-processes

Year:
2002
Language:
english
File:
PDF, 228 KB
english, 2002
20

A rewrite-based type discipline for a subset of computer algebra

Year:
1991
Language:
english
File:
PDF, 1.29 MB
english, 1991
21

XML schema, tree logic and sheaves automata

Year:
2006
Language:
english
File:
PDF, 490 KB
english, 2006
22

Decidable first-order transition logics for PA-processes

Year:
2005
Language:
english
File:
PDF, 481 KB
english, 2005
39

Floating point processor for photomultiplier tube signals

Year:
1995
Language:
english
File:
PDF, 255 KB
english, 1995
47

A knowledge-based system for computer algebra

Year:
1987
Language:
english
File:
PDF, 638 KB
english, 1987